Relevance Criteria for Deductive Reasoning
نویسندگان
چکیده
After classifying relevance approaches into ante-, inand postvalidity approaches I present the replacement criterion for relevance and demonstrate some of its applications, in particular to theorem proving.
منابع مشابه
Interaction of reasoning ability and training intervention in reaction to training evaluation and post training effectiveness.
It has been shown that learners' abilities interact with the type of training intervention and effect on training and its outcomes. For this reason, the current research investigated the interaction of reasoning ability with two training methods, namely deductive and empirical methods, in effect on reaction to training evaluation and post training effectiveness. This research was an applied an...
متن کاملInteraction of reasoning ability and training intervention in reaction to training evaluation and post training effectiveness.
It has been shown that learners' abilities interact with the type of training intervention and effect on training and its outcomes. For this reason, the current research investigated the interaction of reasoning ability with two training methods, namely deductive and empirical methods, in effect on reaction to training evaluation and post training effectiveness. This research was an applied an...
متن کاملVisual Imagery in Deductive Reasoning: Results from experiments with sighted, blindfolded, and congenitally totally blind persons
We report three experiments on visual mental imagery in deductive reasoning. Reasoning performance of sighted participants was impeded if the materials were easy to envisage as visual mental images. Congenitally totally blind participants did not show this visual-impedance effect. Blindfolded participants with normal vision showed the same pattern of performance as the sighted. We conclude that...
متن کاملOn Relevance in Non-monotonic Reasoning: Some Empirical Studies
We report empirical results on factors that influence human default reasoning, both in feature-inheritance type problems and in problems that specify information about exceptions to default rules. These factors include similarity between instances that are reasoned about and whether the classes of the instances are naturallyoccurring or classes of artifacts. While in classical deductive logic, ...
متن کاملLogical and psychological analysis of deductive mastermind
The paper proposes a way to analyze logical reasoning in a deductive version of the Mastermind game implemented within the Math Garden educational system. Our main goal is to derive predictions about the cognitive difficulty of game-plays, e.g., the number of steps needed for solving the logical tasks or the working memory load. Our model is based on the analytic tableaux method, known from pro...
متن کامل